منابع مشابه
Pointless Topology
Starting with the motivating example of Stone’s representation theorem that allows one to represent Boolean algebras as subalgebras of the poweralgebra of a sufficiently large set, we ask the question of whether it is possible to generalize this to a relationship between lattice theory and topology. This can be done by considering special lattices called locales, which are, in a sense, a suitab...
متن کاملLocales are Not Pointless
The Kripke-Joyal semantics is used to interpret the fragment of intuitionistic logic containing ^;! and 8 in the category of locales. An axiomatic theory is developed that can be interpreted soundly in two ways, using either lower or upper powerlocales, so that pairs of separate results can be proved as single formal theorems. Openness and properness of maps between locales are characterized by...
متن کاملProvably Pointless Propagator Calls
CSP instances are commonly solved by backtracking search combined with constraint propagation. In any search state, constraint solvers aim to remove any literal (variable-value pair) that can be shown not to be part of any solution. This literal removal, called propagation, is the beating heart of modern constraint solvers. A significant proportion of the runtime of propagating constraint solve...
متن کاملPointless hyperelliptic curves
In this paper we consider the question of whether there exists a hyperelliptic curve of genus g which is defined over but has no rational points over for various pairs . As an example of such a result, we show that if p is a prime such that is also prime then there will be pointless hyperelliptic curves over of every genus.
متن کاملThe Point of Pointless Topology
Introduction. A celebrated reviewer once described a certain paper (in a phrase which never actually saw publication in Mathematical Reviews) as being concerned with the study of "valueless measures on pointless spaces". This article contains nothing about measures, valueless or otherwise; but I hope that by giving a historical survey of the subject known as "pointless topology" (i.e. the study...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Queue
سال: 2006
ISSN: 1542-7730,1542-7749
DOI: 10.1145/1147518.1147526